#ifndef VMM_H
#define VMM_H

#define HEAP_BASE 0xD0000000

void build_kernel_heap();

void *kmalloc();
void kfree(void *);

#endif
